317 research outputs found
SU(2) nonstandard bases: the case of mutually unbiased bases
This paper deals with bases in a finite-dimensional Hilbert space. Such a
space can be realized as a subspace of the representation space of SU(2)
corresponding to an irreducible representation of SU(2). The representation
theory of SU(2) is reconsidered via the use of two truncated deformed
oscillators. This leads to replace the familiar scheme {j^2, j_z} by a scheme
{j^2, v(ra)}, where the two-parameter operator v(ra) is defined in the
enveloping algebra of the Lie algebra su(2). The eigenvectors of the commuting
set of operators {j^2, v(ra)} are adapted to a tower of chains SO(3) > C(2j+1),
2j integer, where C(2j+1) is the cyclic group of order 2j+1. In the case where
2j+1 is prime, the corresponding eigenvectors generate a complete set of
mutually unbiased bases. Some useful relations on generalized quadratic Gauss
sums are exposed in three appendices.Comment: 33 pages; version2: rescaling of generalized Hadamard matrices,
acknowledgment and references added, misprints corrected; version 3:
published in SIGMA (Symmetry, Integrability and Geometry: Methods and
Applications) at http://www.emis.de/journals/SIGMA/ (22 pages
A unified approach to SIC-POVMs and MUBs
15 pagesA unified approach to (symmetric informationally complete) positive operator valued measures and mutually unbiased bases is developed in this article. The approach is based on the use of operator equivalents expanded in the enveloping algebra of SU(2). Emphasis is put on similarities and differences between SIC-POVMs and MUBs
On the Equivalence Between Type I Liouville Dynamical Systems in the Plane and the Sphere
ProducciĂłn CientĂficaSeparable Hamiltonian systems either in sphero-conical coordinates on an S2 sphere or in elliptic coordinates on a R2 plane are described in a unified way. A back and forth route connecting these Liouville Type I separable systems is unveiled. It is shown how the gnomonic projection and its inverse map allow us to pass from a Liouville Type I separable system with a spherical configuration space
to its Liouville Type I partners where the configuration space is a plane and back. Several selected spherical separable systems and their planar cousins are discussed in a classical context
Relative Equilibria in the Four-Vortex Problem with Two Pairs of Equal Vorticities
We examine in detail the relative equilibria in the four-vortex problem where
two pairs of vortices have equal strength, that is, \Gamma_1 = \Gamma_2 = 1 and
\Gamma_3 = \Gamma_4 = m where m is a nonzero real parameter. One main result is
that for m > 0, the convex configurations all contain a line of symmetry,
forming a rhombus or an isosceles trapezoid. The rhombus solutions exist for
all m but the isosceles trapezoid case exists only when m is positive. In fact,
there exist asymmetric convex configurations when m < 0. In contrast to the
Newtonian four-body problem with two equal pairs of masses, where the symmetry
of all convex central configurations is unproven, the equations in the vortex
case are easier to handle, allowing for a complete classification of all
solutions. Precise counts on the number and type of solutions (equivalence
classes) for different values of m, as well as a description of some of the
bifurcations that occur, are provided. Our techniques involve a combination of
analysis and modern and computational algebraic geometry
Projective dynamics and classical gravitation
Given a real vector space V of finite dimension, together with a particular
homogeneous field of bivectors that we call a "field of projective forces", we
define a law of dynamics such that the position of the particle is a "ray" i.e.
a half-line drawn from the origin of V. The impulsion is a bivector whose
support is a 2-plane containing the ray. Throwing the particle with a given
initial impulsion defines a projective trajectory. It is a curve in the space
of rays S(V), together with an impulsion attached to each ray. In the simplest
example where the force is identically zero, the curve is a straight line and
the impulsion a constant bivector. A striking feature of projective dynamics
appears: the trajectories are not parameterized.
Among the projective force fields corresponding to a central force, the one
defining the Kepler problem is simpler than those corresponding to other
homogeneities. Here the thrown ray describes a quadratic cone whose section by
a hyperplane corresponds to a Keplerian conic. An original point of view on the
hidden symmetries of the Kepler problem emerges, and clarifies some remarks due
to Halphen and Appell. We also get the unexpected conclusion that there exists
a notion of divergence-free field of projective forces if and only if dim V=4.
No metric is involved in the axioms of projective dynamics.Comment: 20 pages, 4 figure
Qudits of composite dimension, mutually unbiased bases and projective ring geometry
The Pauli operators attached to a composite qudit in dimension may
be mapped to the vectors of the symplectic module
( the modular ring). As a result, perpendicular vectors
correspond to commuting operators, a free cyclic submodule to a maximal
commuting set, and disjoint such sets to mutually unbiased bases. For
dimensions , and 18, the fine structure and the incidence
between maximal commuting sets is found to reproduce the projective line over
the rings , , ,
and ,
respectively.Comment: 10 pages (Fast Track communication). Journal of Physics A
Mathematical and Theoretical (2008) accepte
Bases for qudits from a nonstandard approach to SU(2)
Bases of finite-dimensional Hilbert spaces (in dimension d) of relevance for
quantum information and quantum computation are constructed from angular
momentum theory and su(2) Lie algebraic methods. We report on a formula for
deriving in one step the (1+p)p qupits (i.e., qudits with d = p a prime
integer) of a complete set of 1+p mutually unbiased bases in C^p. Repeated
application of the formula can be used for generating mutually unbiased bases
in C^d with d = p^e (e > or = 2) a power of a prime integer. A connection
between mutually unbiased bases and the unitary group SU(d) is briefly
discussed in the case d = p^e.Comment: From a talk presented at the 13th International Conference on
Symmetry Methods in Physics (Dubna, Russia, 6-9 July 2009) organized in
memory of Prof. Yurii Fedorovich Smirnov by the Bogoliubov Laboratory of
Theoretical Physics of the JINR and the ICAS at Yerevan State University
Pauli graphs, Riemann hypothesis, Goldbach pairs
Let consider the Pauli group with unitary quantum
generators (shift) and (clock) acting on the vectors of the
-dimensional Hilbert space via and , with
. It has been found that the number of maximal mutually
commuting sets within is controlled by the Dedekind psi
function (with a prime)
\cite{Planat2011} and that there exists a specific inequality , involving the Euler constant , that is only satisfied at specific low dimensions . The set is closely related to
the set of integers that are totally Goldbach, i.e.
that consist of all primes ) is equivalent to Riemann hypothesis.
Introducing the Hardy-Littlewood function (with the twin prime constant),
that is used for estimating the number of
Goldbach pairs, one shows that the new inequality is also equivalent to Riemann hypothesis. In this paper,
these number theoretical properties are discusssed in the context of the qudit
commutation structure.Comment: 11 page
Pauli graphs when the Hilbert space dimension contains a square: why the Dedekind psi function ?
We study the commutation relations within the Pauli groups built on all
decompositions of a given Hilbert space dimension , containing a square,
into its factors. Illustrative low dimensional examples are the quartit ()
and two-qubit () systems, the octit (), qubit/quartit () and three-qubit () systems, and so on. In the single qudit case,
e.g. , one defines a bijection between the maximal
commuting sets [with the sum of divisors of ] of Pauli
observables and the maximal submodules of the modular ring ,
that arrange into the projective line and a independent set
of size [with the Dedekind psi function]. In the
multiple qudit case, e.g. , the Pauli graphs rely on
symplectic polar spaces such as the generalized quadrangles GQ(2,2) (if
) and GQ(3,3) (if ). More precisely, in dimension ( a
prime) of the Hilbert space, the observables of the Pauli group (modulo the
center) are seen as the elements of the -dimensional vector space over the
field . In this space, one makes use of the commutator to define
a symplectic polar space of cardinality , that
encodes the maximal commuting sets of the Pauli group by its totally isotropic
subspaces. Building blocks of are punctured polar spaces (i.e. a
observable and all maximum cliques passing to it are removed) of size given by
the Dedekind psi function . For multiple qudit mixtures (e.g.
qubit/quartit, qubit/octit and so on), one finds multiple copies of polar
spaces, ponctured polar spaces, hypercube geometries and other intricate
structures. Such structures play a role in the science of quantum information.Comment: 18 pages, version submiited to J. Phys. A: Math. Theo
- âŠ